CircleCIと連携しているGitHubのリポジトリ名を変更してみた

CircleCIと連携しているGitHubリポジトリがあります。 このGitHubリポジトリのリポジトリ名を変更したくなったのですが、ふと思いました。

「リポジトリ名を変更しても、CircleCIは問題なく動くのだろうか？　何らかの設定変更をする必要があるのだろうか？」と。

というわけで、試してみました。

結論：リポジトリ名を変えても問題なし

GitHubリポジトリ名を変更しても、CircleCIは問題なく動きました。 CircleCIの設定ファイル等の変更は不要でした。

以下、実験メモです。

変更前のGitHubリポジトリとCircleCIの様子

リポジトリ名： CircleCI-AWS-CLI-v2-Sample

CircleCIの様子

GitHubリポジトリ名を変更する

• 変更前：CircleCI-AWS-CLI-v2-Sample
• 変更後：CircleCI-AWS-CLI-v2-Sample-renamed

変更完了しました。

CircleCIのパイプラインを動かす

README.mdを適当に修正し、Pushします。

git push origin master

CircleCIは特に問題なく動きました！

よく見てみると、今までのパイプライン名（リポジトリ名）も変更されていました。

さいごに

リポジトリ名を変更すると、最初からそのリポジトリ名であったかのような動きになりました。安心です。